Subst. (self-validating code) Programmcode, der sein korrektes Verhalten selbsttätig verifizieren kann. Dies geschieht in der Regel durch Einlesen einer Reihe von Standard-Eingabewerten und Vergleichen der Ergebnisse mit den erwarteten Ausgabewerten.